| contributor | Integrierter Systementwurf (IPVR) |
| creator | Wörn, Michael |
| date | 1998-05-25 |
| description | 91 pages |
| In dieser Diplomarbeit wird eine Spezifikation einer CAN-Bus gesteuerten Kraftfahrzeugt"ure in der formalen Beschreibungssprache SDL erstellt. Diese Spezifikation erfolgt mit Hilfe der Entwicklungsumgebung ObjectGEODE®. Am Beispiel dieser steuerungstechnischen Aufga- benstellung wird die Spezifikationssprache SDL auf ihre Eignung zur Beschreibung allgemei- ner technischer Prozesse untersucht. Es werden die Vor- und Nachteile von SDL und dem verwendeten Werkzeug f"ur den gegebenen Anwendungsfall getrennt betrachtet. Die Spezifikation wird durch die Simulation im verwendeten Framework validiert. Die Schnitt- stellen zur Umgebung und die zeitlichen Randbedingungen werden in Form von Use Cases in MSC erstellt und bilden eine Testumgebung f"ur die Spezifikation der Kraftfahrzeugt"ure. Aus der Spezifikation der Kraftfahrzeugt"ure wird mit Hilfe der Entwicklungsumgebung C Code generiert. Dieser C Code wird auf seine Strukturierung, Weiterverwendbarkeit und Effizienz untersucht. Die Durchf"uhrung der Diplomarbeit erfolgt nach dem IAS-Vorgehensmodell. | |
| format | application/postscript |
| 4532223 Bytes |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1610&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Diploma Thesis No. 1610 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1610/DIP-1610.ps |
| subject | Programming Language Classifications (CR D.3.2) |
| Formal Languages (CR F.4.3) | |
| SDL | |
| CAN-Bus | |
| ObjectGEODE | |
| Kraftfahrzeugtüre | |
| title | Spezifikation einer Steuerungssoftware für eine CAN-Bus gesteuerten Kraftfahrzeugtüre in SDL |
| type | Text |
| Diploma Thesis |